Danish formelle metoder for asynkrone systemer: traducción a otros idiomas